Modeling Constraint Programs with Software Technology Standards
نویسندگان
چکیده
There is no unified modeling standard available to the CP community, so constraint programs can not be developed independently from the used CP library. Without such standard, CP applications are difficult to develop and to maintain as also no substantial tool support can be enabled to help here. This hinders a wider use in business. This paper targets platform independent modeling of constraint programs in an object-oriented way. It will be shown how models of constraint programs can be given using software technology standards and further how this standards will enable automated transformations of models into executable source code. Using existing well supported modeling languages can help to increase the acceptance of CP in business applications.
منابع مشابه
Reconstructing a formal security model
Role-based access control (RBAC) is a flexible approach to access control, which has generated great interest in the security community. The principal motivation behind RBAC is to simplify the complexity of administrative tasks. Several formal models of RBAC have been introduced. However, there are a few works specifying RBAC in a way which system developers or software engineers can easily und...
متن کاملSCIP: solving constraint integer programs
Constraint integer programming (CIP) is a novel paradigm which integrates constraint programming (CP), mixed integer programming (MIP), and satisfiability (SAT) modeling and solving techniques. In this paper we discuss the software framework and solver SCIP (Solving Constraint Integer Programs), which is free for academic and non-commercial use and can be downloaded in source code. This paper g...
متن کاملProceedings of the 9 th International Workshop on Satisfiability Modulo Theories ( SMT ) 2011
s of Invited Talks Software Construction using Executable Constraints. Viktor Kuncak (EPFL) Constructing software that satisfies the desired properties can greatly benefit from solvers based on satisfiability modulo theories (SMT) paradigm. We propose a research program in which software construction and SMT technology become even more interconnected than today. Instead of checking properties o...
متن کاملMDA-components: Is there a Need and a Market?
MIRROR is a THALES Pilot Program, addressing the Software Engineering aspects, and focusing on 2 main strategic issues expressed by the Business Units of THALES : (1) Preserve the software investment by fighting technology obsolescence (technology change more quickly than domain and business functionalities), (2) Capitalise on Domain, and services, but also on software development & maintenance...
متن کاملOptimizing Constraint Weaving in Model Transformation with Structural Constraint Specification
Model-Driven Architecture (MDA) as a model-based approach to software development facilitates the synthesis of application programs from models created using customized, domain-specific model processors. MDA model compilers can be realized by graph rewriting-based model transformation. In Visual Modeling and Transformation System (VMTS), metamodel-based rewriting rules facilitate to assign OCL ...
متن کامل